Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations

Methods for Verified Solutions to Continuous-time Algebraic Riccati Equations

We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuoustime algebraic Riccati equation A∗X + XA + Q = XGX, building on the work of [B. Hashemi, SCAN 2012] and adding several modifications to the Krawczyk procedure. Moreover, we describe a new O(n) direct method for verification, based on a fixed-point formulation of the e...

Analytical and Verified Numerical Results Concerning Interval Continuous-time Algebraic Riccati Equations

This paper focuses on studying the interval continuous-time algebraic Riccati equation A∗X + XA + Q − XGX = 0, both from the theoretical aspects and the computational ones. In theoretical parts, we show that Shary’s results for interval linear systems can only be partially generalized to this interval Riccati matrix equation. We then derive an efficient technique for enclosing the united stable...

Maximal and Stabilizing Hermitian Solutions for Discrete-Time Coupled Algebraic Riccati Equations

Discrete-time coupled algebraic Riccati equations that arise in quadratic optimal control and -control of Markovian jump linear systems are considered. First, the L_ equations that arise from the quadratic optimal control problem are studied. The matrix cost is only assumed to be hermitian. Conditions for existence of the maximal hermitian solution are derived in terms of the concept of mean sq...

Transformations Between Discrete-time and Continuous-time Algebraic Riccati Equations

We introduce a transformation between the discrete-time and continuoustime algebraic Riccati equations. We show that under mild conditions the two algebraic Riccati equations can be transformed from one to another, and both algebraic Riccati equations share common Hermitian solutions. The transformation also sets up the relations about the properties, commonly in system and control setting, tha...

Fast verified computation for solutions of algebraic Riccati equations arising in transport theory